On dit que tout élément de \(G\) admet un symétrique pour la loi \(*\) si et seulement si $$\forall x\in G,\exists y\in G,\quad x*y=y*x=e$$ (Elément neutre - Uniférité)
